-- Expected output: true
DEF MAIN:bool == not(false)

